John Backus

概述

美国计算机科学家（1924–2007），FORTRAN 编程语言之父，BNF（Backus-Naur Form）发明者。1977年因这两项贡献获得 ACM 图灵奖。

关键内容

FORTRAN（1954-1957）

• 时年29岁时向 IBM 管理层提出 FORTRAN 项目计划
• 带领约20人团队，用近三年时间开发了世界上第一个实用的高级语言编译器
• FORTRAN 生成的代码效率达到手写汇编的90%以上，彻底击碎了"编译器不可能高效"的神话
• 到1958年底，超过半数 IBM 704 用户开始使用 FORTRAN

BNF（1959）

• 为 ALGOL 58 报告发明了 Backus 范式（后经 Peter Naur 扩展为 BNF）
• BNF 后来成为描述编程语言语法的标准工具，几乎所有现代语言规范都使用 BNF 或其变体

图灵奖演讲（1977）

• 在题为"Can Programming Be Liberated from the von Neumann Style?"的演讲中，批评了包括 FORTRAN 在内的"冯诺依曼式语言"的根本局限
• 提出了函数式编程（functional programming）作为替代方案
• 这篇演讲成为函数式编程运动的重要催化剂

学术遗产

从 FORTRAN 到 BNF 再到函数式编程，Backus 的学术生涯本身就是一部关于"解放"的历史——先是将程序员从机器码中解放出来，然后试图将编程从冯·诺依曼范式中解放出来。

来源

• raw/books/计算机科学/04-backus-fortran.md

相关

• FORTRAN — 发明
• FORTRAN 编译器论文 — 第一作者
• BNF — 发明
• IBM — 任职机构
• Grace Hopper — 编译器技术先驱同行